1321. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
1322. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
669
1323. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
1324. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
1325. Mathematics of program construction : 375th Anniversary of the Groningen University : International Conference, Groningen, the Netherlands, June 26-30, 1989 : Proceedings
پدیدآورنده: J.L.A. van de Snepscheut )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
375
1326. Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
پدیدآورنده: Eerke A. Boiten, Bernhard Moller )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2386
1327. Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 : proceedings
پدیدآورنده: Johan Jeuring, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1422
1328. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده: Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
1329. Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
پدیدآورنده: Dexter Kozen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3125
1330. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
1331. Mathematics of program construction: 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004: proceedings
پدیدآورنده: Dexter Kozen, editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
6
.
I5535
2004
1332. Mathematics of software constructions
پدیدآورنده: Norcliffe, Allan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Mathematics- 1691-,، Computer science- Mathematics,، Software eingineering
رده :
QA
39
.
2
.
N67
1333. Mathematik für Informatik und BioInformatik
پدیدآورنده: M.P.H. Wolff, P. Hauck, W. Küchlin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bioinformatics -- Mathematics.,Computer science -- Mathematics.,MATHEMATICS -- Numerical Analysis.
1334. Mathematik für Informatiker :
پدیدآورنده: von Peter Hartmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
V667
2004
1335. Mathematik für Informatiker :
پدیدآورنده: von Peter Hartmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
V667
2002
1336. Mathematische Grundlagen der Informatik :
پدیدآورنده: von Christoph Meinel, Martin Mundhenk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
V663
2002
1337. Mathematische Routinen der Physik, Chemie und Technik für AOS-Rechner
پدیدآورنده: von Peter Kahlig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.
1338. Matrix Diagonal Stability in Systems and Computation
پدیدآورنده: by Eugenius Kaszkurewicz, Amit Bhaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Mathematics.,Matrix theory.,Numerical analysis.
1339. Maximum Entropy, Information Without Probability and Complex Fractals
پدیدآورنده: by Guy Jumarie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coding theory.,Computer science.,Distribution (Probability theory).,Mathematics.
1340. Maximum Penalized Likelihood Estimation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Statistics. ; Biometrics. ; Statistical methods. ; Computer science ; Mathematics. ; Mathematical statistics. ; Econometrics. ; Statistics. ; Computational Mathematics and Numerical Analysis. ; Biostatistics. ; Signal, Image and Speech Processing. ; Econo
